Перевод: с английского на все языки

со всех языков на английский

fact requiring proof

См. также в других словарях:

  • Proof sketch for Gödel's first incompleteness theorem — This article gives a sketch of a proof of Gödel s first incompleteness theorem. This theorem applies to any formal theory that satisfies certain technical hypotheses which are discussed as needed during the sketch. We will assume for the… …   Wikipedia

  • Proof-of-work system — A Proof of work ( POW ) system (or protocol, or function) is an economic measure to deter denial of service attacks and other service abuses such as spams on a network by requiring some work from the service requester, usually meaning processing… …   Wikipedia

  • Proof that 22/7 exceeds π — Proofs of the famous mathematical result that the rational number 22⁄7 is greater than π date back to antiquity. What follows is a modern mathematical proof that 22⁄7 > π, requiring only elementary techniques from calculus. The purpose is not… …   Wikipedia

  • Legal burden of proof — This article is about the burden of proof in law. For other uses, see Burden of proof (disambiguation). The burden of proof (Latin: onus probandi) is the obligation to shift the accepted conclusion away from an oppositional opinion to one s own… …   Wikipedia

  • Evolution as theory and fact — Evolution is both theory and fact. This statement, or something similar, is frequently seen in biological literature. cite web | url = http://www.talkorigins.org/faqs/evolution fact.html | title = Evolution is a Fact and a Theory | first =… …   Wikipedia

  • Interactive proof system — In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to… …   Wikipedia

  • Zero-knowledge proof — In cryptography, a zero knowledge proof or zero knowledge protocol is an interactive method for one party to prove to another that a (usually mathematical) statement is true, without revealing anything other than the veracity of the statement.A… …   Wikipedia

  • Turing's proof — First published in January 1937 with the title On Computable Numbers, With an Application to the Entscheidungsproblem , Turing s proof was the second proof of the assertion (Alonzo Church proof was first) that some questions are undecidable :… …   Wikipedia

  • Non-interactive zero-knowledge proof — Non interactive zero knowledge proofs are a variant of zero knowledge proofs. Blum, Feldman, and Micali [1] showed that a common reference string shared between the prover and the verifier is enough to achieve computational zero knowledge without …   Wikipedia

  • satisfactory proof — Convincing evidence. Sufficient evidence. Evidence such as to satisfy an unprejudiced mind of the truth. 30 Am J2d Ev § 1080. To be satisfied of the truth of anything implies the absence of a reasonable doubt, but it does not imply the absence of …   Ballentine's law dictionary

  • education — /ej oo kay sheuhn/, n. 1. the act or process of imparting or acquiring general knowledge, developing the powers of reasoning and judgment, and generally of preparing oneself or others intellectually for mature life. 2. the act or process of… …   Universalium

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»